861. #Swift for dummies
پدیدآورنده : #Jesse Feiler
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Swift )Computer program language( ،Programming languages )Electronic computers(
رده :
#
QA
،#
F455
،#
2015
![](/design/images/bookmore.png)
862. #Symbol manipulation languages and techniques
پدیدآورنده : #Edited by Daniel G. Bobrow
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Programming languages )Electronic computers( -- Congresses
رده :
#
QA
،#.
I34
،#
1966
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
863. Symbol manipulation languages and techniques. Proceedings of the IFIP Working Conference on Symbol Manipulation Languages
پدیدآورنده : IFIP Working Conference on Symbol Manipulation Languages, )6691, Pisa, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
5
.
I34
1966
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
864. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
76
.
7
.
S9
1971
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
865. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E. Engeler
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Formal languages,Congresses ، Computer algorithms
رده :
QA
1
.
L4
v
.
188
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
866. Symposium on semantics of algorithmic languages
پدیدآورنده : edited by E.Engeler
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages,Congresses ، Algorithms
رده :
QA
3
.
L28
no
.
188
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
867. Synchronous programming of reactive systems
پدیدآورنده : Halbwachs, Nicolas
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Real-time programming,، Programming languages )Electronic computers(
رده :
QA
76
.
54
.
H36
1993
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
868. Syntax of programming languages: theory and practice
پدیدآورنده : Backhouse, Roland C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Syntax ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
B3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
869. System simulation : programming styles and languages
پدیدآورنده : Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
![](/design/images/bookmore.png)
870. System simulation:programming styles & languages
پدیدآورنده : KREUTZER,WOLFGANG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
871. #System technical manual
پدیدآورنده :
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Computer programs ،Programming languages )Electronic computers(
رده :
#
QA
،#.
S98
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
872. SystemVerilog for verification
پدیدآورنده : / Chris Spear, Greg Tumbush
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
873. Systems software tools
پدیدآورنده : Ted J. Biggerstaff
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(
رده :
QA
76
.
7
.
B52
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
874. TEMPO : a unified treatment of binding time and parameter passing concepts in programming languages
پدیدآورنده : Jones, Neil D.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، TEMPO )Computer program language(,، Programming languages )Electronic computers(
رده :
QA
76
.
L4
v
.
66
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
875. Taschenbuch fur Programmierer
پدیدآورنده : Mrachacz, Hans-Peter
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Handbooks, manuals, etc ، Programming languages )Electronic Computers(,Handbooks, manuals, etc ، Electronic digital computers-- Programming
رده :
QA
76
.
5
.
M72
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
876. Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group
پدیدآورنده : editors, J.W. de Bakker and J.J.M.M. Rutten
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Parallel programming )Computer science( - Congresses , Programming languages )Electronic computers( - Semantics - Congresses
رده :
QA
76
.
642
.
T45
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
877. The imperative future: principles of executable tomporal logic
پدیدآورنده : edited by Howard Barringer ... ]et al[
موضوع : ، Computer software - Development,، Programming languages )Electronic computer(,، Logic, symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
878. The Language of computer programming in English
پدیدآورنده : Keegel, John C.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
K44
1976
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
879. The McGraw-Hill Computer Handbook
پدیدآورنده : Editor in chief Harry Helms , Overview by Adam Osborne ; Foreword by Thomas C . Bartee
کتابخانه: کتابخانه دانشکده تحصیلات تکمیلی محیط زیست دانشگاه تهران (تهران)
موضوع : Computers - Handbooks, manuals, etc,Programming (Electronic computers) - Handbooks, manuals, etc,Programming languages (Electronic computers) - Handbooks, manuals, etc
رده :
R
QA
76
.
M37
1983
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)